void ex3_1_platinum();
